introduction to abstract math